Kim Guldstrand Larsen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Developing UPPAAL over 15 years

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 206 KB

english, 2011

2

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 || Using Zone Graph Method for Computing the State Space of a Time Petri Net

Larsen, Kim Guldstrand, Niebert, Peter

Year:

2004

Language:

english

File:

PDF, 235 KB

english, 2004

3

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 119 KB

english, 2002

4

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 || Discrete-Time Rewards Model-Checked

Larsen, Kim Guldstrand, Niebert, Peter

Year:

2004

Language:

english

File:

PDF, 294 KB

english, 2004

5

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || Construction of Abstract State Graphs for Understanding Event-B Models

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 342 KB

english, 2017

6

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 11687 (24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings) ||

Larsen, Kim Guldstrand, Willemse, Tim

Year:

2019

Language:

english

File:

PDF, 10.09 MB

english, 2019

7

Reactive Systems (Modelling, Specification and Verification) || Timed automata

Aceto, Luca, Ingolfsdottir, Anna, Larsen, Kim Guldstrand, Srba, Jiri

Year:

2007

File:

PDF, 356 KB

2007

8

The expressive power of implicit specifications

Kim Guldstrand Larsen

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.61 MB

english, 1993

9

Optimal reachability for multi-priced timed automata

Kim Guldstrand Larsen, Jacob Illum Rasmussen

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 304 KB

english, 2008

10

Using information systems to solve recursive domain equations

Kim Guldstrand Larsen, Glynn Winskel

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.51 MB

english, 1991

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 114 KB

english, 2002

12

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The Quest for Efficient Boolean Satisfiability Solvers

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 150 KB

english, 2002

13

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 199 KB

english, 2002

14

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

15

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Deciding Separation Formulas with SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

16

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter Abstraction

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 266 KB

english, 2002

17

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Fang, Huixing, Shi, Jianqi, Zhu, Huibiao, Guo, Jian, Larsen, Kim Guldstrand, David, Alexandre

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 2.94 MB

english, 2014

18

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Verification and Performance Analysis for Embedded Systems

Larsen, Kim Guldstrand

Year:

2009

Language:

english

File:

PDF, 162 KB

english, 2009

19

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 8931 || Debugging Process Algebra Specifications

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

20

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 8931 ||

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 10.50 MB

english, 2015

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || IF-2.0: A Validation Environment for Component-Based Real-Time Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 106 KB

english, 2002

22

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 || TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Larsen, Kim Guldstrand, Niebert, Peter

Year:

2004

Language:

english

File:

PDF, 467 KB

english, 2004

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Interface Compatibility Checking for Software Modules

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 209 KB

english, 2002

24

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 ||

Larsen, Kim Guldstrand, Niebert, Peter

Year:

2004

Language:

english

File:

PDF, 3.22 MB

english, 2004

25

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Applying SAT Methods in Unbounded Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 203 KB

english, 2002

26

Efficient model-checking of weighted CTL with upper-bound constraints

Jensen, Jonas Finnemann, Larsen, Kim Guldstrand, Srba, Jiří, Oestergaard, Lars Kaerlund

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 866 KB

english, 2016

27

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 8931 || Distributed Markov Chains

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 499 KB

english, 2015

28

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 8931 || A Model for Industrial Real-Time Systems

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

29

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 8931 || Variations on the Stochastic Shortest Path Problem

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

30

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and Verification

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 121 KB

english, 2002

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 ||

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 8.07 MB

english, 2002

32

[ACM Press the tenth ACM international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '10 - Quantitative system validation in model driven design

Hermanns, Holger, Larsen, Kim Guldstrand, Raskin, Jean-François, Tretmans, Jan

Year:

2010

Language:

english

File:

PDF, 433 KB

english, 2010

33

[ACM Press the 11th International Workshop - Karlsruhe, Germany (2013.10.09-2013.10.10)] Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13 - TetaSARTS

Luckow, Kasper Søe, Bøgholm, Thomas, Thomsen, Bent, Larsen, Kim Guldstrand

Year:

2013

Language:

english

File:

PDF, 551 KB

english, 2013

34

[IEEE 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Siegen, Germany (2015.6.8-2015.6.10)] 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Model checking of finite-state machine-based scenario-aware dataflow using timed automata

Skelin, Mladen, Wognsen, Erik Ramsgaard, Olesen, Mads Chr., Hansen, Rene Rydhof, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 449 KB

english, 2015

35

[IEEE 2015 IEEE International Conference on Information Reuse and Integration (IRI) - San Francisco, CA, USA (2015.8.13-2015.8.15)] 2015 IEEE International Conference on Information Reuse and Integration - Formal Methods for Modelling and Analysis of Single-Event Upsets

Hansen, Rene Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr., Wognsen, Erik Ramsgaard

Year:

2015

Language:

english

File:

PDF, 907 KB

english, 2015

36

[IEEE 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Kosice, Slovakia (2016.4.20-2016.4.22)] 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Energy-aware scheduling of FIR filter structures using a timed automata model

Wognsen, Erik Ramsgaard, Hansen, Rene Rydhof, Larsen, Kim Guldstrand, Koch, Peter

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

37

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr., Wognsen, Erik Ramsgaard

Journal:

Information Systems Frontiers

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

38

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 ||

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 5.17 MB

english, 2016

39

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 || The Ideal Theory for WSTS

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 409 KB

english, 2016

40

[Lecture Notes in Computer Science] Reachability Problems Volume 9899 || Rare Events for Statistical Model Checking an Overview

Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Year:

2016

Language:

english

File:

PDF, 724 KB

english, 2016

41

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Larsen, Kim Guldstrand

Year:

2016

Language:

english

File:

PDF, 88 KB

english, 2016

42

[IEEE IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - Florence, Italy (2016.10.23-2016.10.26)] IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society - Toolchain for user-centered intelligent floor heating control

Agesen, Mads Kronborg, Larsen, Kim Guldstrand, Mikucionis, Marius, Muniz, Marco, Olsen, Petur, Pedersen, Thomas, Srba, Jiri, Skou, Arne

Year:

2016

Language:

english

File:

PDF, 2.56 MB

english, 2016

43

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || Better Automated Importance Splitting for Transient Rare Events

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

44

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 587 KB

english, 2017

45

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || Formal Analysis of Information Flow in HOL

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 243 KB

english, 2017

46

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || On the Criticality of Probabilistic Worst-Case Execution Time Models

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 863 KB

english, 2017

47

[Lecture Notes in Computer Science] Dependable Software Engineering. Theories, Tools, and Applications Volume 10606 || A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks

Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji

Year:

2017

Language:

english

File:

PDF, 475 KB

english, 2017

48

Discrete and continuous strategies for timed-arc Petri net games

Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 698 KB

english, 2017

49

[IEEE 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Fukuoka, Japan (2017.11.5-2017.11.8)] 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Jensen, Peter Gjol, Larsen, Kim Guldstrand, Legay, Axel, Nyman, Ulrik

Year:

2017

Language:

english

File:

PDF, 579 KB

english, 2017

50

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 || Timed Automata and Timed Languages Challenges and Open Problems

Larsen, Kim Guldstrand, Niebert, Peter

Year:

2004

File:

PDF, 38 KB

2004